Exit and voice are both important, actually, and they can’t even be cleanly separated. One tool that seems invaluable in making hierarchies work well in real-world institutions (as in firms) is the takeover bid, and that clearly requires some kind of “voice”. (Demotist politics is supposed to serve the same function, except that it doesn’t really work—it diminishes advantages and expands drawbacks, compared to infrequent takeovers.) If The_Lion were to post here simply to make his case that the site is being severely mismanaged and point users to a better alternative, this would seem to be quite compatible with formalist principles.
Exit and voice are both important, actually, and they can’t even be cleanly separated. One tool that seems invaluable in making hierarchies work well in real-world institutions (as in firms) is the takeover bid, and that clearly requires some kind of “voice”. (Demotist politics is supposed to serve the same function, except that it doesn’t really work—it diminishes advantages and expands drawbacks, compared to infrequent takeovers.) If The_Lion were to post here simply to make his case that the site is being severely mismanaged and point users to a better alternative, this would seem to be quite compatible with formalist principles.